HAL_APIC_DESTINATION_MODE

Sorry, but such structure doesn't exist in chosen version of the kernel.